Enter a word or phrase in any language 👆
Language:
Translation and analysis of words by ChatGPT artificial intelligence
On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
- how the word is used
- frequency of use
- it is used more often in oral or written speech
- word translation options
- usage examples (several phrases with translation)
- etymology
What (who) is functor - definition
Functor
TIPO DE CORRESPONDÊNCIA ENTRE CATEGORIAS, QUE É UTILIZADA NA TEORIA DE CATEGORIAS
Funtor; Funtor contravariante
Na matemática, mais precisamente teoria das categorias, um functor ou funtor é um mapeamento entre categorias, preservando domínios, contradomínios, identidades e composições, analogamente a como, por exemplo, um homomorfismo de grupos preserva o elemento neutro e a operação do grupo.
funtor
TIPO DE CORRESPONDÊNCIA ENTRE CATEGORIAS, QUE É UTILIZADA NA TEORIA DE CATEGORIAS
Funtor; Funtor contravariante
sm (lat functu, part de fungor, preencher+or)
1 Álg Elemento lógico que proporciona um enlace entre variáveis.
2 Ling Morfema funcional que indica a função de outro morfema com o qual se relaciona.
1 Álg Elemento lógico que proporciona um enlace entre variáveis.
2 Ling Morfema funcional que indica a função de outro morfema com o qual se relaciona.
Lógica do functor predicado
Em lógica matemática, predicado functor lógica (PFL) é uma das várias maneiras de expressar o que a lógica de primeira ordem (também conhecida como lógica de predicado) puramente algébrica significa, por exemplo, sem variáveis quantificáveis. PFL emprega um pequeno número de corpos finitos, dispositivos de chamada de predicado ficheiro (ou modificadores de predicado) que operam em termos de rendimento termos.
